535. Formal techniques for distributed systems

Author:

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2009

539. Foundations of Computer Softwar

Author:

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Electronic books